-recursive function - PDFSEARCH.IO - Document Search Engine

-recursive function
Results: 178

#	Item
141	A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:49 Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Primitive recursive function Structural induction Recursive definition Coinduction Mathematics Computer programming Software engineering
142	Hypothesis Formation and Language Acquisition with an Infinitely-Often Correct Teacher Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Computability theory Inductive inference Inductive reasoning Inference Statistical inference Function Heat equation Primitive recursive function Mathematics Mathematical analysis Functions and mappings
143	Computations via experiments with kinematic systems1 E.J. Beggs2 and J.V. Tucker3 University of Wales Swansea, Singleton Park, Swansea, SA3 2HN, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2004-03-16 05:09:52 Classical mechanics Computer science Applied mathematics Computable function Quantum mechanics Recursive set John V. Tucker Kinematics Computability Theory of computation Computability theory Physics
144	DEFINING TOTALITY IN THE ENUMERATION DEGREES MINGZHONG CAI, HRISTO A. GANCHEV, STEFFEN LEMPP, JOSEPH S. MILLER, AND MARIYA I. SOSKOVA Abstract. We show that if A and B form a nontrivial K-pair, then there is a semi-compu Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2014-01-28 17:21:47 Mathematical logic Field extension Rational number Computability theory Primitive recursive function Mathematics Field theory Enumeration
145	NOTIONS OF ANONYMOUS EXISTENCE ¨ TYPE THEORY IN MARTIN-LOF Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-03-31 11:37:40 Model theory Mathematical constructivism Function Lambda calculus Interpretation Type theory Universal quantification Adjoint functors Primitive recursive arithmetic Mathematics Mathematical logic Logic
146	Optimizing Ackermann’s Function by Incrementalization∗ Yanhong A. Liu Add to Reading List Source URL: www.cs.stonybrook.edu Language: English - Date: 2006-12-05 12:57:55 Recursion Computability theory Theory of computation Subroutines Programming idioms Primitive recursive function Aall Tail call Dynamic programming Computer programming Computing Software engineering
147	CANTOR’S DIAGONAL ARGUMENT: PROOF AND PARADOX Cantor’s diagonal method is elegant, powerful, and simple. It has been the source of Add to Reading List Source URL: wiki.laptop.org Language: English - Date: 2011-07-28 22:14:56 Theoretical computer science Mathematical logic Computable function Halting problem Primitive recursive function Church–Turing thesis Function Recursively enumerable set Algorithm Mathematics Theory of computation Computability theory
148	Vol. 70, No. 2/3, August/September[removed]Reprinted from INFORMATION ANU CONTROL Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-05-22 14:48:41 Theory of computation Functions and mappings Function Recursively enumerable set Recursion Primitive recursive function Fixed-point combinator Mathematics Theoretical computer science Computability theory
149	Defining the Turing Jump Richard A. Shore∗ Theodore A. Slaman† Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 1999-11-30 17:17:44 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory
150	TYPE SYSTEMS FOR POLYNOMIAL-TIME COMPUTATION Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-08-18 13:13:43 Mathematical logic Theory of computation Recursion Functions and mappings Lambda calculus Primitive recursive function Computable function Function Fold Theoretical computer science Mathematics Computability theory

UPDATE